301. Automata
Author: / Alexander Meduna, Tomas Kozar.,Meduna, Alexander,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Machine theory.
302. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
303. Automated deduction in geometr
Author: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
Classification :
QA448
.
D38
,
I58
2011
304. Automated technology for verification and analysis :
Author: Shuvendu K. Lahiri, Chao Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
A96
305. Automatic finite element mesh generation for industrial use
Author: Ed. by Joachim Wendt and Anu Piira
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Finite element method -- Data processing,، Numerical grid generation )Numerical analysis( -- Data processing,، Computer graphics,، Computer-aided engineering -- Mathematics
Classification :
TA
347
.
F5A9
1995
306. BASIC numerical mathematics
پدیدآورنده : J C Mason
موضوع : BASIC (Computer program language),Engineering mathematics- Computer programs
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
307. BASIC programs for scientists and engineers
Author: Miller, Alan R., 2391-
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Mathematics- Computer programs,، Science- Computer programs,، Engineering- Computer programs,، BASIC )Computer program language(
Classification :
QA
76
.
95
.
M53
1981
308. BASIC programs for scientists and engineers
Author: Miller, Alan R.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathematics-- Computer programs,، Science-- Computer programs,، Engineering-- Computer program,، Basic )Computer program language(
Classification :
QA
76
.
95
.
M53
1981
310. BL,BL
Author: / Marshall G.S. Hodgson. ,20090530 0
Library: Library of Islamic Parliament (Tehran)
Subject:
311. Barriers and Challenges in Computational Fluid Dynamics
Author: edited by V. Venkatakrishnan, Manuel D. Salas, Sukumar R. Chakravarthy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer science-- Mathematics.,Differential equations, Partial.,Engineering mathematics.,Mechanics.,Physics.
312. Basic Concepts in Computational Physics /
Author: by Benjamin A. Stickler, Ewald Schachinger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Applied mathematics.,Chemistry, Physical and theoretical.,Computer science-- Mathematics.,Engineering mathematics.,Physics.,Chemistry, Physical and theoretical.,Computer science-- Mathematics.,Engineering mathematics.,Physics.
Classification :
QC1-999
313. Basic MATLAB, Simulink, and Stateflow
Author: Richard Colgren.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: MATLAB,SIMULINK.,Stateflow.,Aeronautics-- Mathematics.,Computer simulation-- Computer programs.,Engineering mathematics.
314. Basic Mathematics for Economics, Business and Finance
Author: / Ummer, EK
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
315. Basic circuit theory, with digital computations
Author: Huelsman, Lawrence P
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electric circuits,، Electric networks-- Data processing,، Electric engineering-- Mathematics
Classification :
TK
454
.
H84
316. Basic engineering mathematics /
Author: John Bird.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering mathematics, Problems, exercises, etc.,Engineering mathematics.,Engineering mathematics.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.
Classification :
TA330
.
B513
2005eb
317. Bayesian networks
Author: Marco Scutari, Jean-Baptiste Denis.,Scutari, Marco,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Bayesian statistical decision theory.,R (Computer program language)
Classification :
QA279
.
5
.
S38
2021
318. Bayesian optimization and data science
Author: Francesco Archetti, Antonio Candelieri
Library: Library of College of Science University of Tehran (Tehran)
Subject: Bayesian statistical decision theory,Data mining,Machine learning,a03,a05,a05
Classification :
QA279
.
5
319. Bidirectional transformations :
Author: Jeremy Gibbons, Perdita Stevens (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
Classification :
QA601
